Comparing Finite State Automata Representation with GP-trees
نویسنده
چکیده
Genetic Programming and Evolutionary Programming are fields studying the application of artificial evolution on evolving directly executable programs, in form of trees similar to Lisp expressions (GP-trees), or Finite State Automata (FSA). In this exercise, we study the performance of these methods on several example problems, and draw conclusions on the suitability of the representations with respect to the task structure and properties. We investigate the role of incremental evolution in the context of FSA representation. We also present an evolutionary software package for educational programming environment Imagine, which can be used for introducing the principles of evolutionary computing to wider young audience.
منابع مشابه
Image Representation Using Finite State Automata
Image representation using quadtrees is useful in many applications and is well known in computer graphics. It has been shown that we can represent quadtrees asrationallanguages that are recognizable by finite state automata (FSA) [1]. These FSA can use less memory and are more flexible than their corresponding quadtrees. Binary image representation using FSA follows these two main steps: (1) F...
متن کاملReduction of Computational Complexity in Finite State Automata Explosion of Networked System Diagnosis (RESEARCH NOTE)
This research puts forward rough finite state automata which have been represented by two variants of BDD called ROBDD and ZBDD. The proposed structures have been used in networked system diagnosis and can overcome cominatorial explosion. In implementation the CUDD - Colorado University Decision Diagrams package is used. A mathematical proof for claimed complexity are provided which shows ZBDD ...
متن کاملUnranked Tree Automata with Sibling Equalities and Disequalities
We propose an extension of the tree automata with constraints between direct subtrees (Bogaert and Tison, 1992) to unranked trees. Our approach uses MSO-formulas to capture the possibility of comparing unboundedly many direct subtrees. Our main result is that the nonemptiness problem for the deterministic automata, as in the ranked setting, is decidable. Furthermore, we show that the nondetermi...
متن کاملComplementation and Inclusion of Weighted Automata on Infinite Trees
Weighted automata can be seen as a natural generalization of finite state automata to more complex algebraic structures. The standard reasoning tasks for unweighted automata can also be generalized to the weighted setting. In this report we study the problems of intersection, complementation and inclusion for weighted automata on infinite trees and show that they are not harder than reasoning w...
متن کاملThe Inclusion Problem for Weighted Automata on Infinite Trees
Weighted automata can be seen as a natural generalization of finite state automata to more complex algebraic structures. The standard reasoning tasks for unweighted automata can also be generalized to the weighted setting. In this paper we study the problems of intersection, complementation and inclusion for weighted automata on infinite trees and show that they are not harder complexity-wise t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007